#diversidad de entrenamiento

Marco teórico para autoaprendizaje en demostración de teoremas

Descubre el marco teórico para algoritmos de auto-play que logran crecimiento exponencial de teoremas probados, con mejora de diversidad usando similitud de difusión.